An Algebraic Foundation for Truth Maintenance

نویسندگان

  • Allen L. Brown
  • Dale E. Gaucas
  • Dan Benanav
چکیده

We have recast the problem of t ru th maintenance in a setting of algebraic equations over Boolean lattices. If a method of labeling propositions to justi fy them according to some reasoning agent's constraints of belief happens to conform to the postulates of Boolean lattices, the labeling system can be reformulated as an algebraic equation solving system. A l l t ru th maintenance systems known to us can be so reformulated. This note summarizes our investigations into the existence and structure of solutions of these algebraic systems. Our central result is a unique factorization theorem for lattice equational systems and their solutions. Our theoretical results are interpreted to compare various styles of t ru th maintenance and to reveal certain computational difficulties impl ici t in the algebraic structure of t ru th maintenance.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modified Multi-level Residue Harmonic Balance Method for Solving Nonlinear Vibration Problem of Beam Resting on Nonlinear Elastic Foundation

Nonlinear vibration behavior of beam is an important issue of structural engineering. In this study, a mathematical modeling of a forced nonlinear vibration of Euler-Bernoulli beam resting on nonlinear elastic foundation is presented. The nonlinear vibration behavior of the beam is investigated by using a modified multi-level residue harmonic balance method. The main advantage of the method is ...

متن کامل

Signed Formula Logic Programming

Signed formula can be used to reason about a wide variety of multiple-valued logics. The formal theoretical foundation of logic programming based on signed formulas is developed in 26]. In this paper, the operational semantics of signed formula logic programming is investigated through constraint logic programming. Applications to bilattice logic programming and truth-maintenance are considered.

متن کامل

Dynamic Lambda Calculus

The goal of this paper is to lay a logical foundation for discourse theories by providing an algebraic foundation of compositional formalisms for discourse semantics as an analogon to the simply typed-calculus. Just as that can be specialized to type theory by simply providing a special type for truth values and postulating the quantiiers and connectives as constants with xed semantics, the pro...

متن کامل

Application of Multivariate Control Charts for Condition Based Maintenance

Condition monitoring is the foundation of a condition based maintenance (CBM). To relate the information obtained from the condition monitoring to the actual state of the system, it is usually required a stochastic model. On the other hand, considering the interactions and similarities that exist between CBM and statistical process control (SPC), the integrated models for CBM and SPC have been ...

متن کامل

Concerning the Effect of a Viscoelastic Foundation on the Dynamic Stability of a Pipeline System Conveying an Incompressible Fluid

In this paper, we present an analytical method for solving a well-posed boundary value problem of mathematical physics governing the vibration characteristics of an internal flow propelled fluid-structure interaction where the pipeline segment is idealized as an elastic hollow beam conveying an incompressible fluid on a viscoelastic foundation. The effect of Coriolis and damping forces on the o...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1987